Liên kết ngoài Robin Milner

Liên kết ngoài Robin Milner

Cambridge
An interview with Robin Milner, Martin Berger
A review of Proof, Language, and Interaction
Is informatic a science?, ENS

x t s Những người nhận Giải A. M. Turing
1960s	Alan Perlis (1966) Maurice Vincent Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969)
1970s	James H. Wilkinson (1970) John McCarthy (1971) Edsger W. Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell / Herbert A. Simon (1975) Michael O. Rabin / Dana Scott (1976) John Backus (1977) Robert W. Floyd (1978) Kenneth E. Iverson (1979)
1980s	Tony Hoare (1980) Edgar F. Codd (1981) Stephen Cook (1982) Ken Thompson / Dennis Ritchie (1983) Niklaus Wirth (1984) Richard Karp (1985) John Hopcroft / Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989)
1990s	Fernando J. Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis / Richard E. Stearns (1993) Edward Feigenbaum / Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) Jim Gray (1998) Fred Brooks (1999)
2000s	Andrew Yao (2000) Ole-Johan Dahl / Kristen Nygaard (2001) Ron Rivest / Adi Shamir / Leonard Adleman (2002) Alan Kay (2003) Vint Cerf / Bob Kahn (2004) Peter Naur (2005) Frances E. Allen (2006) Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009)
Thập niên 2010	Leslie G. Valiant (2010) Judea Pearl (2011) Shafi Goldwasser / Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Martin Hellman / Whitfield Diffie (2015) Tim Berners-Lee (2016) John L. Hennessy / David Patterson (2017) Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018) Ed Catmull/ Pat Hanrahan (2019)

Liên quan

Robin Robin van Persie Robinho Robin Gosens Robinson Crusoe Robin (truyện tranh) Robin Williams Robin Hood Robinsons Galleria Robin Hood (phim 2010)

Tài liệu tham khảo

WikiPedia: Robin Milner http://www.fairdene.com/picalculus/robinmilner.htm... http://north.ecc.edu/alsani/ct01(1-4)/msg00041.htm... http://mitpress.mit.edu/catalog/item/default.asp?t... http://www.diffusion.ens.fr/data/audio/2007_12_10_... http://www.cl.cam.ac.uk/users/rm135/ http://www.dcs.qmul.ac.uk/~martinb/interviews/miln... http://www.royalsoced.org.uk/rse_press/2004/medals...